Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
751	Examining Extended Dynamic Scripting in a Tactical Game Framework Jeremy Ludwig1 and Arthur Farley2 1 Stottler Henke Associates San Mateo, CA 94404 Add to Reading List Source URL: www.stottlerhenke.com Language: English - Date: 2009-11-03 19:58:08 Programming paradigms Models of computation Artificial intelligence Complex systems theory Reinforcement learning Q-learning Markov decision process Action selection Scripting language Computing Statistics Software engineering
752	Zélus: A Synchronous Language with ODEs Tool Paper Timothy Bourke Marc Pouzet Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-11 04:19:54 Software engineering Visual programming languages Differential equations Models of computation Mathematical modeling Stateflow Hybrid automaton Modelica Simulink Computing Mathematics Automata theory
753	THE LGP-27 COMMAND S7RUCTURE INTRODUCTION Generally stated, programming is the process by which problems are put into a form which a computer can handle. Since the computer can only calculate numerical answers to numeri Add to Reading List Source URL: ed-thelen.org Language: English - Date: 2008-07-23 04:19:34 Accumulator Central processing unit Models of computation Assembly languages Missile guidance Apollo Abort Guidance System NAR 1 Computing Computer hardware Computer architecture
754	Content ➜ Intro & motivation, getting started COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Computer science Proof theory Models of computation Computability theory Natural deduction Simply typed lambda calculus Curry–Howard correspondence Normalisation by evaluation Theoretical computer science Mathematical logic Lambda calculus
755	Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2002-05-21 20:47:59 Models of computation Distributed computing Mathematics Applied mathematics Fault-tolerant computer systems Virtual synchrony Kahn process networks Computing Snapshot algorithm Algorithm
756	Microsoft Word - JOC24-3-2.doc Add to Reading List Source URL: www.csroc.org.tw Language: English - Date: 2014-05-27 10:49:49 Theoretical computer science Computer science Software engineering Formal languages String searching algorithm Deterministic finite automaton Boyer–Moore–Horspool algorithm Finite-state machine Aho–Corasick string matching algorithm Automata theory Models of computation String matching algorithms
757	Microsoft PowerPoint - LTL to Buchi.ppt Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:10 Linear temporal logic Temporal logic Theoretical computer science Models of computation Büchi automaton Computer science Linear temporal logic to Büchi automaton Automatic sequence Automata theory Model checking Formal methods
758	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-10-27 06:39:41 Computability theory Formal methods Models of computation Theory of computation Algorithm Mathematical logic Turing machine Algorithm characterizations Theoretical computer science Applied mathematics Mathematics
759	SWS FlowConnect support for Control Flow Patterns Add to Reading List Source URL: www.workflowpatterns.com Language: English - Date: 2011-11-29 19:53:04 Concurrent computing Process Finite-state machine Computing Computer science Electronics Models of computation Automata theory Digital electronics
760	Proceedings of the International Multiconference on Computer Science and Information Technology pp. 659–666 ISBN[removed]4 ISSN[removed] Add to Reading List Source URL: www.proceedings2009.imcsit.org Language: English - Date: 2009-10-30 02:36:35 Computer science Applied mathematics Deterministic pushdown automaton Pushdown automaton Nondeterministic finite automaton Tree automaton Deterministic finite automaton Finite-state machine Tree traversal Automata theory Models of computation Theoretical computer science

UPDATE